Spatial and Temporal Reasoning

A Decidable Spatial Generalization of Metric Interval Temporal Logic

Calculus / Computational Complexity / Spatial and Temporal Reasoning / Artificial Intelligent / Spatial logic / Boolean Satisfiability / Computability / Decidability / Blow Up / Temporal Logic / Boolean Satisfiability / Computability / Decidability / Blow Up / Temporal Logic

Parallel Temporal Resolution

Temporal Resolution / Theorem Proving / Spatial and Temporal Reasoning / Temporal Logic / Strategy military science

Argumentation Semantics for Temporal Defeasible Logic

Spatial and Temporal Reasoning / Defeasible Logic

Implementing a practical spatio-temporal composite event language

Mobile Systems / Spatial and Temporal Reasoning / Case Study / New Zealand / Pattern Matching / Programming language / Birthday / Session Types / Programming language / Birthday / Session Types

Argumentation semantics for temporal defeasible logic

Spatial and Temporal Reasoning / Defeasible Logic

Argumentation Semantics for Temporal Defeasible Logic

Spatial and Temporal Reasoning / Defeasible Logic

Learning preferences on temporal constraints: a preliminary report

Choice and preference (Learning) / Spatial and Temporal Reasoning / Reasoning / Temporal Constraints / Temporal Information Extraction / Workshops

A Decidable Spatial Generalization of Metric Interval Temporal Logic

Computational Complexity / Spatial and Temporal Reasoning / Artificial Intelligent / Spatial logic / Boolean Satisfiability / Blow Up / Temporal Logic / Blow Up / Temporal Logic

Multi-level temporal abstraction for medical scenario construction

Applied Mathematics / Data Mining / Spatial and Temporal Reasoning / Temporal Abstraction / Intensive Care Unit / Mechanical Ventilation / Electrical And Electronic Engineering / Mechanical Ventilation / Electrical And Electronic Engineering

Conditional and composite temporal CSPs

Urban Planning / Scheduling / Constraint Programming / Spatial and Temporal Reasoning / Random Walk / Combinatorial Problems / Stochastic Local Search / Temporal Constraints / Temporal Information Extraction / Applied artificial intelligence / Experimental Tests / Constraint Satisfaction / Constraint Satisfaction Problem / Combinatorial Problems / Stochastic Local Search / Temporal Constraints / Temporal Information Extraction / Applied artificial intelligence / Experimental Tests / Constraint Satisfaction / Constraint Satisfaction Problem

A new temporal CSP framework handling composite variables and activity constraints

Urban Planning / Transport Planning / Temporal GIS / Strategic Planning / Temporal Data Mining / Scheduling / Constraint Programming / Spatio Temporal Analysis / Stochastic processes / Spatial and Temporal Reasoning / Constraint Satisfaction Problems / Constraint Satisfaction Problem / Scheduling / Constraint Programming / Spatio Temporal Analysis / Stochastic processes / Spatial and Temporal Reasoning / Constraint Satisfaction Problems / Constraint Satisfaction Problem

Copyright © 2017 DATOSPDF Inc.